Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments
نویسندگان
چکیده
http://dx.doi.org/10.1016/j.eswa.2014.04.008 0957-4174/ 2014 Elsevier Ltd. All rights reserved. ⇑ Corresponding author. Tel.: +1 514 848 2424x5382; fax: +1 514 848 3171. E-mail addresses: [email protected] (K. Sultan), bentahar@encs. concordia.ca (J. Bentahar), [email protected] (W. Wan), f_alsaqq@encs. concordia.ca (F. Al-Saqqar). Khalid Sultan, Jamal Bentahar ⇑, Wei Wan, Faisal Al-Saqqar
منابع مشابه
Load-Frequency Control: a GA based Bayesian Networks Multi-agent System
Bayesian Networks (BN) provides a robust probabilistic method of reasoning under uncertainty. They have been successfully applied in a variety of real-world tasks but they have received little attention in the area of load-frequency control (LFC). In practice, LFC systems use proportional-integral controllers. However since these controllers are designed using a linear model, the nonlinearities...
متن کاملRepresenting and reasoning about communicative conditional commitments
Social commitments provide a powerful representation for modeling multi-agent interactions without relinquishing part of agents autonomy and flexibility. However, distinguishing between different but related types of conditional commitments, a natural frame of social commitments, is not considered yet. In this paper, we define a new logical language, CTL, which extends CTL with modalities to re...
متن کاملDefining Agent Organizations Using Social Commitments
The coordination in open multi-agent systems is difficult to achieve, mainly because agents are autonomous. Social commitments have been proposed as a new coordination paradigm, suitable to describe agent communications or interactions. As some authors have pointed out, commitment enforcement is necessary, i.e., autonomous agents that violate commitments must be punished. In related work this i...
متن کاملOn the verification of social commitments and time
Social commitments have been widely studied to represent business contracts among agents with different competing objectives in communicating multi-agent systems. However, their formal verification is still an open issue. This paper proposes a novel model-checking algorithm to address this problem. We define a new temporal logic, CTLC, which extends CTL with modalities for social commitments an...
متن کاملVerifying Conformance of Commitment Protocols via Symbolic Model Checking
Commitment protocols have been widely used to capture flexible and rich interactions among agents in multi-agent systems. Although there are several approaches specifying commitment protocols, none of them synthesize formal specification and automatic verification of these protocols within the same framework. This paper presents a new approach to automatically verify the conformance of commitme...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Expert Syst. Appl.
دوره 41 شماره
صفحات -
تاریخ انتشار 2014